/**
 * 在学习ts过程中，会接触到 “类型编程”和“类型体操”这两个不同的词。
 * 
 * 类型编程：它是对实际开发中真的有帮助的类型操作，下限非常之低，比如简单地用个泛型，这也属于类型编程。
 * 而它的上限也很高，比如底层框架中让人眼花缭乱的操作。
 * 但我们不需要用一个具体的界限来进行划分，只需要知道，只要是真的对实际开发有帮助的类型操作，无论实现多么复杂，都能被归类于类型编程当中。
 * 
 * 类型体操：就是类型编程，对类型参数做各种逻辑运算，以产生新的类型。
 * 对于类型体操，当我们掌握这些Ts的基础知识后，可以在单独地去研究使用。
 * 参考链接：https://www.html5iq.com/63a4489b4ee01823d08a6462.html
*/